recurrence relation in algorithm